Перевод: с русского на все языки

со всех языков на русский

Boolean value

  • 1 булево значение

    Русско-английский словарь по электронике > булево значение

  • 2 булево значение

    Русско-английский словарь по радиоэлектронике > булево значение

  • 3 булевое значение

    Русско-английский словарь по экономии > булевое значение

  • 4 булевое значение

    Бизнес, юриспруденция. Русско-английский словарь > булевое значение

  • 5 логическое значение

    1) Computers: boolean value
    2) Information technology: logical value
    3) Programming: boolean

    Универсальный русско-английский словарь > логическое значение

  • 6 булево значение

    Information technology: Boolean value, logical value

    Универсальный русско-английский словарь > булево значение

  • 7 логическое значение

    ( в двузначной логике) Boolean value, logic value

    Русско-английский словарь по электронике > логическое значение

  • 8 логическое значение

    ( в двузначной логике) Boolean value, logic value

    Русско-английский словарь по радиоэлектронике > логическое значение

  • 9 Условие именованн

    Универсальный русско-английский словарь > Условие именованн

  • 10 булевское значение

    Information technology: Boolean value

    Универсальный русско-английский словарь > булевское значение

  • 11 значение логической функции

    Makarov: Boolean value

    Универсальный русско-английский словарь > значение логической функции

  • 12 таблица булевой операции

    Русско-английский большой базовый словарь > таблица булевой операции

  • 13 булевая операция

    Бизнес, юриспруденция. Русско-английский словарь > булевая операция

  • 14 широковещательное объектно-ориентированное сообщение о событии на подстанции

    1. GOOSE
    2. generic object oriented substation event

     

    GOOSE-сообщение
    -

    [Интент]

    широковещательное объектно-ориентированное сообщение о событии на подстанции

    Широковещательный высокоскоростной внеочередной отчет, содержащий статус каждого из входов, устройств пуска, элементов выхода и реле, реальных и виртуальных.
    Примечание. Этот отчет выдается многократно последовательно, как правило, сразу после первого отчета с интервалами 2, 4, 8,…, 60000 мс. Значение задержки первого повторения является конфигурируемым. Такой отчет обеспечивает выдачу высокоскоростных сигналов отключения с высокой вероятностью доставки.
    [ ГОСТ Р 54325-2011 (IEC/TS 61850-2:2003)]

    общие объектно-ориентированные события на подстанции
    -
    [ ГОСТ Р МЭК 61850-7-2-2009]

    GOOSE
    Generic Object Oriented Substation Event
    (стандарт МЭК 61850-8-1)
    Протокол передачи данных о событиях на подстанции.
    Один из трех протоколов передачи данных, предлагаемых к использованию в МЭК 61850.
    Фактически данный протокол служит для замены медных кабельных связей, предназначенных для передачи дискретных сигналов между устройствами.
    [ Цифровые подстанции. Проблемы внедрения устройств РЗА]

    EN

    generic object oriented substation event
    on the occurrence of any change of state, an IED will multicast a high speed, binary object, Generic Object Oriented Substation Event (GOOSE) report by exception, typically containing the double command state of each of its status inputs, starters, output elements and relays, actual and virtual.

    This report is re-issued sequentially, typically after the first report, again at intervals of 2, 4, 8…60000 ms. (The first repetition delay value is an open value it may be either shorter or longer).

    A GOOSE report enables high speed trip signals to be issued with a high probability of delivery
    [IEC 61850-2, ed. 1.0 (2003-08)]

    До недавнего времени для передачи дискретных сигналов между терминалами релейной защиты и автоматики (РЗА) использовались дискретные входы и выходные реле. Передача сигнала при этом осуществляется подачей оперативного напряжения посредством замыкания выходного реле одного терминала на дискретный вход другого терминала (далее такой способ передачи будем называть традиционным).
    Такой способ передачи информации имеет следующие недостатки:

    • необходимо большое количество контрольных кабелей, проложенных между шкафами РЗА,
    • терминалы РЗА должны иметь большое количество дискретных входов и выходных реле,
    • количество передаваемых сигналов ограничивается определенным количеством дискретных входов и выходных реле,
    • отсутствие контроля связи между терминалами РЗА,
    • возможность ложного срабатывания дискретного входа при замыкании на землю в цепи передачи сигнала.

    Информационные технологии уже давно предоставляли возможность для передачи информации между микропроцессорными терминалами по цифровой сети. Разработанный недавно стандарт МЭК 61850 предоставил такую возможность для передачи сигналов между терминалами РЗА.
    Стандарт МЭК 61850 использует для передачи данных сеть Ethernet. Внутри стандарта МЭК 61850 предусмотрен такой механизм, как GOOSE-сообщения, которые и используются для передачи сообщений между терминалами РЗА.
    Принцип передачи GOOSE-сообщений показан на рис. 1.

    5683

    Устройство-отправитель передает по сети Ethernet информацию в широковещательном диапазоне.
    В сообщении присутствует адрес отправителя и адреса, по которым осуществляется его передача, а также значение сигнала (например «0» или «1»).
    Устройство-получатель получит сообщение, а все остальные устройства его проигнорируют.
    Поскольку передача GOOSE-сообщений осуществляется в широковещательном диапазоне, т.е. нескольким адресатам, подтверждение факта получения адресатами сообщения отсутствует. По этой причине передача GOOSE-сообщений в установившемся режиме производится с определенной периодичностью.
    При наступлении нового события в системе (например, КЗ и, как следствие, пуска измерительных органов защиты) начинается спонтанная передача сообщения через увеличивающиеся интервалы времени (например, 1 мс, 2 мс, 4 мс и т.д.). Интервалы времени между передаваемыми сообщениями увеличиваются, пока не будет достигнуто предельное значение, определяемое пользователем (например, 50 мс). Далее, до момента наступления нового события в системе, передача будет осуществляется именно с таким периодом. Указанное проиллюстрировано на рис. 2.

    5684

    Технология повторной передачи не только гарантирует получение адресатом сообщения, но также обеспечивает контроль исправности линии связи и устройств – любые неисправности будут обнаружены по истечении максимального периода передачи GOOSE-сообщений (с точки зрения эксплуатации практически мгновенно). В случае передачи сигналов традиционным образом неисправность выявляется либо в процессе плановой проверки устройств, либо в случае неправильной работы системы РЗА.

    Еще одной особенностью передачи GOOSE-сообщений является использование функций установки приоритетности передачи телеграмм (priority tagging) стандарта Ethernet IEEE 802.3u, которые не используются в других протоколах, в том числе уровня TCP/IP. То есть GOOSE-сообщения идут в обход «нормальных» телеграмм с более высоким приоритетом (см. рис. 3).

    5685


    Однако стандарт МЭК 61850 декларирует передачу не только дискретной информации между терминалами РЗА, но и аналоговой. Это означает, что в будущем будет иметься возможность передачи аналоговой информации от ТТ и ТН по цифровым каналам связи. На данный момент готовых решений по передаче аналоговой информации для целей РЗА (в рамках стандарта МЭК 61850) ни один из производителей не предоставляет.
    Для того чтобы использовать GOOSE-сообщения для передачи дискретных сигналов между терминалами РЗА необходима достаточная надежность и быстродействие передачи GOOSE-сообщений. Надежность передачи GOOSE-сообщений обеспечивается следующим:

    • Протокол МЭК 61850 использует Ethernet-сеть, за счет этого выход из строя верхнего уровня АСУ ТП и любого из устройств РЗА не отражается на передаче GOOSE-сообщений оставшихся в работе устройств,
    • Терминалы РЗА имеют два независимых Ethernet-порта, при выходе одного из них из строя второй его полностью заменяет,
    • Сетевые коммутаторы, к которым подключаются устройства РЗА, соединяются в два независимых «кольца»,
    • Разные порты одного терминала РЗА подключаются к разным сетевым коммутаторам, подключенным к разным «кольцам»,
    • Каждый сетевой коммутатор имеет дублированное питание от разных источников,
    • Во всех устройствах РЗА осуществляется постоянный контроль возможности прохождения каждого сигнала. Это позволяет автоматически определить не только отказы цифровой связи, но и ошибки параметрирования терминалов.

    5686

    На рис. 4 изображен пример структурной схемы сети Ethernet (100 Мбит/c) подстанции. Отказ в передаче GOOSE-сообщения от одного устройства защиты другому возможен в результате совпадения как минимум двух событий. Например, одновременный отказ двух коммутаторов, к которым подключено одно устройство или одновременный отказ обоих портов одного устройства. Могут быть и более сложные отказы, связанные с одновременным наложением большего количества событий. Таким образом, единичные отказы оборудования не могут привести к отказу передачи GOOSEсообщений. Дополнительно увеличивает надежность то обстоятельство, что даже в случае отказа в передаче GOOSE-сообщения, устройство, принимающее сигнал, выдаст сигнал неисправности, и персонал примет необходимые меры для ее устранения.

    Быстродействие.
    В соответствии с требованиями стандарта МЭК 61850 передача GOOSE-сообщений должна осуществляться со временем не более 4 мс (для сообщений, требующих быстрой передачи, например, для передачи сигналов срабатывания защит, пусков АПВ и УРОВ и т.п.). Вообще говоря, время передачи зависит от топологии сети, количества устройств в ней, загрузки сети и загрузки вычислительных ресурсов терминалов РЗА, версии операционной системы терминала, коммуникационного модуля, типа центрального процессора терминала, количества коммутаторов и некоторых других аспектов. Поэтому время передачи GOOSE-сообщений должно быть подтверждено опытом эксплуатации.
    Используя для передачи дискретных сигналов GOOSE-сообщения необходимо обращать внимание на то обстоятельство, что при использовании аппаратуры некоторых производителей, в случае отказа линии связи, значение передаваемого сигнала может оставаться таким, каким оно было получено в момент приема последнего сообщения.
    Однако при отказе связи бывают случаи, когда сигнал должен принимать определенное значение. Например, значение сигнала блокировки МТЗ ввода 6–10 кВ в логике ЛЗШ при отказе связи целесообразно установить в значение «1», чтобы при КЗ на отходящем присоединении не произошло ложного отключения ввода. Так, к примеру, при проектировании терминалов фирмы Siemens изменить значение сигнала при отказе связи возможно с помощью свободно-программируемой CFCлогики (см. рис. 5).

    5687

    К CFC-блоку SI_GET_STATUS подводится принимаемый сигнал, на выходе блока мы можем получить значение сигнала «Value» и его статус «NV». Если в течение определенного времени не поступит сообщение со значением сигнала, статус сигнала «NV» примет значение «1». Далее статус сигнала и значение сигнала подводятся к элементу «ИЛИ», на выходе которого будет получено значение сигнала при исправности линии связи или «1» при нарушении исправности линии связи. Изменив логику, можно установить значение сигнала равным «0» при обрыве связи.
    Использование GOOSE-сообщений предъявляет специальные требования к наладке и эксплуатации устройств РЗА. Во многом процесс наладки становится проще, однако при выводе устройства из работы необходимо следить не только за выводом традиционных цепей, но и не забывать отключать передачу GOOSE-сообщений.
    При изменении параметрирования одного устройства РЗА необходимо производить загрузку файла параметров во все устройства, с которыми оно было связано.
    В нашей стране имеется опыт внедрения и эксплуатации систем РЗА с передачей дискретных сигналов с использованием GOOSE-сообщений. На первых объектах GOOSE-сообщения использовались ограниченно (ПС 500 кВ «Алюминиевая»).
    На ПС 500 кВ «Воронежская» GOOSEсообщения использовались для передачи сигналов пуска УРОВ, пуска АПВ, запрета АПВ, действия УРОВ на отключение смежного элемента, положения коммутационных аппаратов, наличия/отсутствия напряжения, сигналы ЛЗШ, АВР и т.п. Кроме того, на ОРУ 500 кВ и 110 кВ ПС «Воронежская» были установлены полевые терминалы, в которые собиралась информация с коммутационного оборудования и другая дискретная информация с ОРУ (рис. 6). Далее информация с помощью GOOSE-сообщений передавалась в терминалы РЗА, установленные в ОПУ подстанции (рис. 7, 8).
    GOOSE-сообщения также были использованы при проектировании уже введенных в эксплуатацию ПС 500 кВ «Бескудниково», ПС 750 кВ «Белый Раст», ПС 330кВ «Княжегубская», ПС 220 кВ «Образцово», ПС 330 кВ «Ржевская». Эта технология применяется и при проектировании строящихся и модернизируемых подстанций ПС 500 кВ «Чагино», ПС 330кВ «Восточная», ПС 330 кВ «Южная», ПС 330 кВ «Центральная», ПС
    330 кВ «Завод Ильич» и многих других.
    Основные преимущества использования GOOSE-сообщений:

    • позволяет снизить количество кабелей вторичной коммутации на ПС;
    • обеспечивает лучшую помехозащищенность канала связи;
    • позволяет снизить время монтажных и пусконаладочных работ;
    • исключает проблему излишнего срабатывания дискретных входов терминалов из-за замыканий на землю в цепях оперативного постоянного тока;
    • убирает зависимость количества передаваемых сигналов от количества дискретных входов и выходных реле терминалов;
    • обеспечивает возможность реконструкции и изменения связей между устройствами РЗА без прокладки дополнительных кабельных связей и повторного монтажа в шкафах;
    • позволяет использовать МП терминалы РЗА с меньшим количеством входов и выходов (уменьшение габаритов и стоимости устройства);
    • позволяет контролировать возможность прохождения сигнала (увеличивается надежность).

    Безусловно, для окончательных выводов должен появиться достаточный опыт эксплуатации. В настоящее время большинство производителей устройств РЗА заявили о возможности использования GOOSEсообщений. Стандарт МЭК 61850 определяет передачу GOOSE-сообщений между терминалами разных производителей. Использование GOOSE-сообщений для передачи дискретных сигналов – это качественный скачок в развитии систем РЗА. С развитием стандарта МЭК 61850, переходом на Ethernet 1 Гбит/сек, с появлением новых цифровых ТТ и ТН, новых выключателей с возможностью подключения их блока управления к шине процесса МЭК 61850, эффективность использования GOOSE-сообщений намного увеличится. Облик будущих подстанций представляется с минимальным количеством контрольных кабелей, с передачей всех сообщений между устройствами РЗА, ТТ, ТН, коммутационными аппаратами через цифровую сеть. Устройства РЗА будут иметь минимальное количество выходных реле и дискретных входов

    [ http://romvchvlcomm.pbworks.com/f/goosepaper1.pdf]


    В стандарте определены два способа передачи данных напрямую между устройствами: GOOSE и GSSE. Это тоже пример наличия двух способов для реализации одной функции. GOOSE - более новый способ передачи сообщений, разработан специально для МЭК 61850. Способ передачи сообщений GSSE ранее присутствовал в стандарте UCA 2.0, являющимся одним из предшественников МЭК 61850. По сравнению с GSSE, GOOSE имеет более простой формат (Ethernet против стека OSI протоколов) и возможность передачи различных типов данных. Вероятно, способ GSSE включили в МЭК 61850 для того, чтобы производители, имеющие в своих устройствах протокол UCA 2.0, могли сразу декларировать соответствие МЭК 61850. В настоящее время все производители используют только GOOSE для передачи сообщений между устройствами.
    Для выбора списка передаваемых данных в GOOSE, как и в отчѐтах, используются наборы данных. Однако тут требования уже другие. Время обработки GOOSE-сообщений должно быть минимальным, поэтому логично передавать наиболее простые типы данных. Обычно передаѐтся само значение сигнала и в некоторых случаях добавляется поле качества. Метка времени обычно включается в набор данных.
    ...
    В устройствах серии БЭ2704 в передаваемых GOOSE-сообщениях содержатся данные типа boolean. Приниматься могут данные типа boolean, dbpos, integer.
    Устоявшаяся тенденция существует только для передачи дискретной информации. Аналоговые данные пока передают немногие производители, и поэтому устоявшаяся тенденция в передаче аналоговой информации в данный момент отсутствует.
    [ Источник]


     

    Тематики

    Синонимы

    EN

    Русско-английский словарь нормативно-технической терминологии > широковещательное объектно-ориентированное сообщение о событии на подстанции

  • 15 булева переменная

    1) Engineering: Boolean variable
    2) Information technology: Boolean, logical variable

    Универсальный русско-английский словарь > булева переменная

  • 16 преобразование

    conversion, converting, alteration, inversion связь, ( данных из одной формы в другую) map вчт., mapping, transduction, transform, transformation, translation, transposition
    * * *
    преобразова́ние с.
    conversion, transformation; мат. manipulation, transformation
    путё́м несло́жных преобразова́ний получа́ем … — a little manipulation yields …
    алгебраи́ческое преобразова́ние — algebraic transformation, algebraic manipulation
    преобразова́ние ана́лог — код — analog-to-digital [A/ D] conversion
    преобразова́ние ана́лог — код, вре́мя-и́мпульсное — analog-to-digital [A/ D] time conversion
    преобразова́ние ана́лог — код кодои́мпульсным ме́тодом — analog-to-digital [A/ D] conversion by a comparison [pulse-code] method
    преобразова́ние ана́лог — код ме́тодом простра́нственного коди́рования — analog-to-digital [A/ D] conversion by a code(d)-pattern method
    преобразова́ние ана́лог — код с поразря́дным уравнове́шиванием — successive-approximation analog-to-digital [A/ D] conversion, A/ D conversion by the successive approximation method
    преобразова́ние ана́лог — код спо́собом взве́шивания — analog-to-digital [A/ D] conversion by the successive approximation method [by feedback subtraction]
    преобразова́ние ана́лог — код, часто́тно-и́мпульсное — analog-to-digital [A/ D] frequency conversion
    ана́лого-цифрово́е преобразова́ние одни́м отсчё́том — total-value analog-to-digital [A/ D] conversion
    ана́лого-цифрово́е преобразова́ние после́довательным отсчё́том — incremental analog-to-digital [A/ D] conversion
    ана́лого-цифрово́е преобразова́ние сравне́нием и вычита́нием — analog-to-digital [A/ D] conversion by continuous comparison
    ана́лого-цифрово́е преобразова́ние сравне́нием и вычита́нием с обра́тной свя́зью — successive-approximation comparison analog-to-digital [A/ D] conversion
    бу́лево преобразова́ние — Boolean transformation
    взаи́мно однозна́чное преобразова́ние — one-to-one transformation
    преобразова́ния Галиле́я — Galilean transformation
    преобразова́ние да́нных
    1. data conversion
    2. ( предварительное) data reduction
    преобразова́ние дискре́тных да́нных в непреры́вные — digital-to-analog conversion
    преобразова́ние звезды́ в треуго́льник эл. — star-(to-)delta conversion, star-(to-)delta transformation
    преобразова́ние ко́да — code conversion
    конфо́рмное преобразова́ние — conformal transformation
    преобразова́ние Лапла́са — Laplace transform
    проводи́ть преобразова́ние по Лапла́су — apply the Laplace transformation, take the Laplace transform
    лине́йное преобразова́ние — linear transformation
    логи́ческое преобразова́ние в це́лях минимиза́ции свя́зей алгори́тма — minimization by Boolean functions
    преобразова́ния Ло́ренца ( пространственных и временных координат) — Lorentz's transformations
    преобразова́ние многоуго́льник — звезда́ эл.mesh-star conversion
    преобразова́ние прое́кции картогр.rectification of projection
    преобразова́ние свё́ртки мат.convolution transform
    преобразова́ние сигна́ла одного́ ви́да эне́ргии в друго́й — (signal) transduction
    преобразова́ние сигна́ла одного́ ви́да эне́ргии в друго́й, оптикоэлектро́нное — optic-to-electronic (signal) transduction
    преобразова́ние п [m2]-обра́зной цепи́ в П[m2]-обра́зную — tee-to-pi [T-to- ] transformation
    преобразова́ние треуго́льника в звезду́ эл. — delta-(to-)star conversion, delta-(to-)star transformation
    функциона́льное преобразова́ние вчт.function generation
    преобразова́ние Фурье́ — Fourier transform
    преобразова́ние Фурье́, бы́строе [БПФ] — fast Fourier transform, FFT
    ци́фро-ана́логовое преобразова́ние — digital-to-analog conversion
    преобразова́ние частоты́
    1. радио frequency conversion
    2. ( в многоканальной связи) frequency translation
    преобразова́ние частоты́, группово́е ( в многоканальной связи) — group (frequency) translation
    осуществля́ть группово́е преобразова́ние частоты́ на несу́щей частоте́ — translate the carrier
    преобразова́ние частоты́, двухсе́точное радиоdouble-grid injection frequency conversion
    преобразова́ние частоты́, индивидуа́льное ( в многоканальной связи) — channel translation
    преобразова́ние эне́ргии, прямо́е — direct energy conversion
    преобразова́ние эне́ргии, термоэлектри́ческое — thermoelectric energy conversion
    преобразова́ние эне́ргии, термоэмиссио́нное — thermionic energy conversion
    преобразова́ние эне́ргии, электромехани́ческое — electromechanical energy conversion

    Русско-английский политехнический словарь > преобразование

  • 17 логическая переменная

    1) Engineering: Boolean variable
    2) Information technology: logic variable, logical variable

    Универсальный русско-английский словарь > логическая переменная

  • 18 бинарная логика

    1) Engineering: binary logic
    2) Linguistics: two-value logic
    3) Mechanics: Boolean logic

    Универсальный русско-английский словарь > бинарная логика

  • 19 теория

    analysis, science, theory
    * * *
    тео́рия ж.
    theory
    выдвига́ть тео́рию — advance [propose] a theory
    объясня́ть что-л. на основа́нии тео́рии — explain smth. on a theory
    отказа́ться от тео́рии — abandon a theory
    отклоня́ть тео́рию — reject a theory
    подтвержда́ть тео́рию эксперимента́льно — verify a theory by experiment
    принима́ть [признава́ть] тео́рию — accept a theory
    тео́рия автомоде́льности — similarity theory
    тео́рия адсо́рбции Бруна́уэра—Эмме́тта—Те́ллера — BET theory of adsorption
    тео́рия Ба́рдина—Ку́пера—Шри́ффера [БКШ] — Bardeen-Cooper-Schrieffer [BCS] theory
    тео́рия больши́х сигна́лов — large signal theory
    тео́рия бу́левых а́лгебр — Boolean calculus
    тео́рия вероя́тностей — theory of probability, probability theory
    тео́рия Ви́нера — prediction theory
    тео́рия возмуще́ний мат.perturbation theory
    тео́рия второ́го приближе́ния — second-order theory
    тео́рия вы́борочного ме́тода стат. ( не путать с отсчё́тами в теории сообщений) — theory of sampling
    тео́рия вы́четов — residue theory
    тео́рия гра́фов мат.graph theory
    тео́рия групп мат. — group theory, theory of groups
    тео́рия дво́йственности — duality theory
    тео́рия доказа́тельства — proof theory
    тео́рия Друде́—Ло́ренца элк.Drude-Lorentz theory
    тео́рия игр мат. — theory of games, game(s) theory
    тео́рия информа́ции — general theory of communication, information theory
    ква́нтовая тео́рия — quantum theory
    тео́рия кисло́т и основа́ний — acid-base theory
    класси́ческая тео́рия — classical theory
    тео́рия крыла́ — airfoil theory
    лучева́я тео́рия — ray theory
    тео́рия ма́лых сигна́лов — small signal theory
    тео́рия ма́ссового обслу́живания — queueing [waiting-line] theory
    тео́рия ме́ры мат.measure theory
    тео́рия мно́жеств — set theory
    тео́рия надё́жности — reliability theory
    тео́рия наибо́льших деформа́ций — ultimate strain theory
    тео́рия относи́тельности — theory of relativity
    тео́рия относи́тельности, о́бщая — general theory of relativity, general relativity
    тео́рия относи́тельности, специа́льная — special theory of relativity
    тео́рия очереде́й — queueing [waiting-line] theory
    тео́рия оши́бок — error analysis
    тео́рия перено́са — transport theory
    тео́рия подо́бия — similarity theory
    тео́рия по́ля — field theory
    тео́рия разме́рностей — dimensional theory
    тео́рия регули́рования — control theory
    тео́рия реле́йных схем — switching-circuit theory
    тео́рия све́та, волнова́я — wave theory of light
    тео́рия све́та, ква́нтовая — quantum theory of light
    тео́рия све́та, корпускуля́рная — corpuscular theory of light
    тео́рия соедине́ний — combinatorial mathematics, combinatorics
    тео́рия сравне́ний — congruence theory
    тео́рия статисти́ческих оце́нок — theory of estimation
    тео́рия столкнове́ний — collision theory
    стро́гая тео́рия — rigorous theory
    тео́рия твё́рдых тел, зо́нная — band theory of solids
    тео́рия теплопереда́чи — heat-transfer theory
    тео́рия управле́ния — control theory
    тео́рия упру́гости — theory of elasticity
    тео́рия усто́йчивости — stability theory
    феноменологи́ческая тео́рия — phenomenological [formal] theory
    форма́льная тео́рия — formal theory
    тео́рия цве́тности — theory of colour value
    тео́рия цепе́й — circuit [network] theory
    тео́рия чи́сел — theory of numbers, number theory

    Русско-английский политехнический словарь > теория

  • 20 логическая операция

    Русско-английский большой базовый словарь > логическая операция

См. также в других словарях:

  • Boolean value — loginė reikšmė statusas T sritis informatika apibrėžtis ↑Reikšmė, kuria nusakoma viena iš dviejų būsenų: ↑tiesa arba ↑netiesa. Taigi yra tik dvi loginės reikšmės. Jos žymimos įvairiai: žodžiais tiesa ir netiesa, angliškais žodžiais TRUE ir FALSE… …   Enciklopedinis kompiuterijos žodynas

  • Boolean value — loginė vertė statusas T sritis automatika atitikmenys: angl. Boolean value; logical value vok. Boolescher Wert, m; logischer Wert, m; Wahrheitswert, m rus. булево значение, n; логическое значение, n pranc. valeur logique, f …   Automatikos terminų žodynas

  • Boolean datatype — In computer science, the Boolean datatype, sometimes called the logical datatype , is a primitive datatype having one of two values: true and false. Many systems represent true as non zero (often 1, or 1) and false as zero . It is the special… …   Wikipedia

  • Boolean expression — A Boolean expression is an expression that results in a Boolean value, that is, TRUE or FALSE. For example, the value for 5 > 3 is TRUE, the value for An apple is not a fruit is FALSE.Boolean expressions are used also in document retrieval. For… …   Wikipedia

  • Boolean function — In mathematics, a (finitary) Boolean function is a function of the form f : B k rarr; B, where B = {0, 1} is a Boolean domain and k is a nonnegative integer called the arity of the function. In the case where k = 0, the function is essentially a… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

  • Boolean analysis — was introduced by Flament (1976). The goal of a Boolean analysis is to detect deterministic dependencies between the items of a questionnaire in observed response patterns. These deterministic dependencies have the form of logical formulas… …   Wikipedia

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Boolean-valued model — In mathematical logic, a Boolean valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to true and false , but take values in some fixed complete Boolean… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»